CORRIGENDUM TO: A FAST ALGORITHM FOR CALCULATING S-INVARIANTS

Calculating Invariants as Coreflexive Bisimulations

Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to computer systems engineering. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fra...

A New Fast Data Encryption Algorithm (FDE)

A Fast DCT Block Smoothing Algorithm S

e o When errors are clearly visible, the blockiness of some artifacts distinguishes them from th riginal image content, suggesting a way of reducing these artifacts. Presumably, the human viewer k e identifies the artifacts by assuming the image does not have 8-pixel by 8-pixel block features. Bloc dge variance, the sum of squared differences between adjacent block edge pixels, is one simple s ...

a new approach to credibility premium for zero-inflated poisson models for panel data

هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...

A New Fast Data Encryption Algorithm (FDE)